價格：免費
更新日期：2016-03-10
檔案大小：12.2 MB
目前版本：2.0
版本需求：需要 iOS 9.2 或以上版本。與 iPhone、iPad 及 iPod touch 相容。
支援語言：英語
You thought logic would be easier than math. Now you're doing derivations and it's too late to drop the course. This app is for you.
- Checks the syntax of symbolic sentences.
- Tests whether the derivation is complete.
- Derivable lines are coloured blue; hypotheses are coloured green.
- Provides an annotation of the derivation, showing line justifications.
- Annotated derivations can be emailed as RTF files.
See the complete app help files here:
http://www.hatzicware.com/logic/Help.pdf
See a list of the app's selectable derivation rules here:
http://hatzicware.com/logic/rules.pdf
支援平台：iPhone